# Full text of "The Husimi function and a successive measurement of the position and the momentum"

## See other formats

The Husimi function and a successive measurement of the position and the momentum Takuro Shitq. s Graduate School of Information Systems, University of Electro- communications, Chofu, Tokyo 182-8585, Japan Abstract In this paper, we consider an interpretation of the Husimi function as the probability distribution of a successive measurement, which is clearly separated into measurements of the position and the momentum. We also show this successive measurement can be easily realized in the situation close to the experiment, and this measurement corresponds to one of Aharanov's weak measurement. * |sito taku@ quest.i s. uec. ac.jp 1 I. INTRODUCTION In this paper, we will discuss properties and structures of the Husimi function as the probability distribution of a successive measurement of the position and the momentum. In the literature, Wigner et al. discussed the distribution of the position and the mo- mentum, defined so called the Wigner function j^J, and considered its properties in 1930s, while Husimi et al. discussed the distribution of the position and the momentum, and de- fined so called Husimi function [1]. In the Wigner function, there is a problem that the Winger function is not limited to a positive function. Feynman similarly discussed the neg- ative probabilities at the spin system Holevo discussed a simultaneous measurement of the position and the momentum in 1970s, he showed a measurement process of the Husimi function by using Naimark extension jg]. Recently Aharanov et al. (4] proposed a weak measurement and a weak value which is similar to the negative probability. In our study, we discussed the meaning of the marginal distribution of the Husimi func- tion, and discovered that the Husimi function can be obtained by Aharanov's weak measure- ment. First, we show that the measurement to obtain the Husimi function can be clearly separated into two measurements of the position and the momentum. Secondly, we show that these measurements can be easily realized in the situation close to the experiment. Finally, we discuss the relation between these measurements and Aharanov's weak measurement. II. DEFINITION AND REVIEW OF THE HUSIMI FUNCTION The Wigner function, the Husimi (Q) function, and the Glauber-Sudarshan (P) function are known as distributions including complete information of the quantum state. In this section, we will define and review the Husimi function and other distribution functions jj— 13 ] . These distribution functions are defined by the following family of characteristic functions parameterized by a parameter s: w(u, v, s) = T T p e -™z-ivp e i(u +v ) ? 2 where p is the density operator of a state satisfying p > and Trp = 1. Using these characteristic functions, we define W ? (x,p) = J I dudvw(u, v, )e iM+ ^, (2) Qp{x,p) = J j dudvw(u,v, -i) e ^+^, (3) Pp(x, p) = j±y 2 JJ dudvw(u, v, +l) e ^+^, (4) where W p (x,p) is the Wigner function (s = 0), Qp(x,p) is the Husimi function (s = —1), and P p (x,p) is the Glauber-Sudarshan function (s = 1). Here and hereafter the range of the integral is from — oo to oo and is omitted. While these functions are defined for density operators, we can also define them with respect to any linear operators by linearity. Moreover the trace of the product of any two linear operators can be written by Wigner functions. Tr AB = JJ dxdpW A (x,p)Wz(x,p). (5) Using this fact, the expectation of any observable A for a state p is written by Wigner functions. (A) p = TrpA= JJ dxdpW p (x,p)W A (x,p). (6) Similarly, using the Husimi function and the Glauber-Sudarshan function, we can also write the expectation of an observable A as follows: (A) p = TrpA = JJ dxdpQ p (x,p)P A (x,p) (7) = JJ dxdpP p (x,p)Q A (x,p). (8) We can derive a simple formula of the Wigner function and the Husimi function for a state p respectively, W p (x,p) = ^-J dye™ (x-y/2\p\x + y/2) , (9) Qp( x ip) = 2~ ( x >p\p\ x >p) > ( 10 ) where \x,p) is a "coherent state," i.e., an eigenvector of the annihilation operator a. It can be seen from ( fit)]) that the Husimi function is always positive, while the Wigner function and the Glauber-Sudarshan function sometimes take negative values. The marginal distribution of the position x for the Husimi function and the Wigner function is, respectively, written by dpWp(x,p) = (x\ p \x) , (11) J dpQ p (x,p) = -1= J dx'e- {x - x ' ? (x'\ p \x') . (12) In the subsequent discussion, we consider properties of the Husimi function. The equation ( flOl) is frequently used as a definition of the Husimi function. In our discussion we follow this definition, because this definition can include a freedom of the squeezed parameter A as follows. A squeezed coherent state is expressed by the vacuum state |0), which is a minimum uncertainty state, i.e., the state satisfying AxAp = 1/4. Let 5(A) be the squeezed operator and D(x,p) be the shift operator. Then a squeezed coherent state is expressed by \x,p;A) = D(x,p)S(A)\0) = T^yf 4 J dx'e-^ x '- x ^ +lx ' p \x') . (13) Now the Husimi function based on the squeezed coherent state is defined by Q{x,p; A) = — (x,p; A\p\x,p; A) . (14) Ztt When the squeezed parameter A = 1, this definition corresponds to the definition by the characteristic function ([3]). In the following, we omit the squeezed parameter A in \x,p;A) for simplicity. III. HUSIMI DISTRIBUTION FUNCTION AND POST SELECTION In this section we study the detail of a physical interpretation of the Husimi function. Considering a pure state p = in the definition of the Husimi function ( 1T4"1) . we have Q(x,p; A) = (x,p; A\ip) | 2 . The term (x,p; A\ip) can be calculated as follows: (x,p;A\i>) = J dx'e-^ x ~ x 'y 2 -^(x'^) (15) = V^(p\ Jx ^e-^ x -^W, (16) where we used the spectral decomposition of x: x = [ dx'x'\x')(x'\. (17) Now let us define an operator M(x) = ^ 1/4 e 3s( x x ^ , then fll6p is rewritten as (x,p\ip) = V2^(p\M(x) . (18) In the following, we will interpret the square of the absolute value of the above equation as the probability of a successive measurement of the position and the momentum. We will also discuss a physical realization of the successive measurement in the next section. The operator M(x) is a measurement operator, which fulfill flowing properties; dxM 2 (x) = /, (19) and the operator M(x) mean the reduction of the wave packet, thus the state after the measurement is; |V') ex M(x) |V) = J dx^(x')e-^-^ 2 \x') , (20) where ip(x) = (x\i/j). This operator M(x) have other properties described below. The coherent state \x,p) is generated by operating M(x) to some eigenstates of the momentum |P>- y/2wM{x) \p) = \x,p) (21) When we measure the eigenstate of the momentum p with M(x), the state will become the coherent state after the reduction of the wave packet. The expectation of the squared operator M(x) is the marginal distribution of the Husimi function. (VI M 2 (x) |V) = (VI -^e-^ ix - £)2 |V) V An = f dx'e-^ x ' x ' )2 \ (x'|V) I 2 (22) VA7T J d P Q(x,p) (23) However, this distribution does not have complete information of the state |V)- The operator M(x) is written by a coherent state \x,p) as follows: M(x) = | J dp\x,p) (x,p\ J . (24) After we obtain the measurement result x of M(x), we have one to one correspondence between the the state after the measurement |V') and the initial state ketip. In this sense, the state after measurement |V') does not lose any information of the initial state |V)- IV. PHYSICAL REALIZATION OF THE MEASUREMENT OF THE POSITION AND POST SELECTION OF THE MOMENTUM In this section, we consider a physical realization of the measurement M(x) in (j24j) . In the following, we show that the Husimi function is obtained as a probability distribution of a successive measurement, i.e., a weak measurement of the position followed by the projective measurement of the momentum. Note that these measurements of the position and the momentum are quite different in the sharpness, while the Husimi function as the probability distribution has symmetry in the position and the momentum. It is known [6| that a simultaneous measurement of the position and the momentum is possible on an enlarged Hilbert space by Naimark extension. We can easily see that the measurement devised by Holevo, is corresponding to one of measurements which obtain the Husimi function. We observe some properties of the position measurement (|24p related to the squeezed parameter A in (fl3l) . First, when A — > 0, i.e., the position measurement is sharp, following probability distribution p(x) is obtained for any state p(x) = hm (ip\M 2 (x) \if>) lim [ dx'^=e-^ x - x ' )2 \ (M) dx'5(x — x')\ (x'\i[)) | = I W) I 2 - (25) After this measurement, the initial state \ip) will be the eigenstate of the position \x), which corresponds with obtained value x. Secondly, when A — > oo, that is the unsharp limit of the position measurement, (121 corresponds with the identity operator for any x lim Mix) = lim , A \ - e'^^'^ 2 a^oo v ' a^oo (Avr) 1 ^ oc A lim / dx'e ^ x \x') (x'\ dx' \x') (x'\ = I (26) Thus we can not obtain any information of the system by the unsharp measurement liniA-s.oo M(x). If we measure the momentum after the position measurement limA-^oo M(x), the probability distribution is obtained as follows: | (p\ lim M(x) |V) | 2 cx | (p\ I |V) | 2 = | (p|V) | 2 . (27) A— >oo We show that the measurement M(x) can be realized by a von Neumann measurement as follows. We consider a composite system of the measurement device with squeezed vacuum state |0; A) and the measured system with an initial state |V); |0; A) |V) = J dx'e-^ x ' 2 \x') |V) , (28) and the time evolution by the following interaction Hamiltonian; Hinter = S(t - t')x^p md , (29) where x^ operate on the measured system, p md operate on the system of the measurement device and x^p m d means x^ ®p m d- The position of the measurement device is shifted by this interaction Hamiltonian aXt — t' in the proportion to the position of the measured system. The unitary operator of the time evolution between t = and t = t' is written as U = exp | J dtH inter ^ = exp{-ix^p md }. (30) After the interaction (!30|) . the composite system (!28l) will be written as We measure the position of the measurement device and consecutively measure the momen- tum of the measured system, then the probability of the position and the momentum is given by dx"e-^ x - x " )2 - ix " p (x"m , (32) (p\ (x\ J dx'e-^ x - x ^ \x') |V) which corresponds to the Husimi function of the measured system ( JT5|) . In the following we show that this measurement and Aharanov's weak measurement are related. Let us introduce a Hamiltonian corresponding to (|29|) by 4] Hinter = ~gS(t - t')x^p md . (33) Note that the above Hamiltonian includes the parameter g which means the weakness of the interaction. We also consider the composite system corresponding to (1281) . without parameter A: |0) |V) = f dx'e- 1 ^' 2 \x') |V) ■ (34) After the interaction by the Hamiltonian (133]) . the composite system AMI) will be Then we measure the position of the measurement device and the momentum of the measured system. J dx"e-^ x - 9X " )2 - ix " p (x"\ip) = J dx"e~^ {x/9 - x " )2 - ix " p (x"\ip) (36) Now we assume that A = 1/g 2 and x/g is x, then we obtain dx"e-^ (x - x " )2 - ix " p (x"\ip) . (37) This probability distribution corresponds with f[32|) . The Husimi function defined in (p2 includes the controllable parameter A, which means the sharpness of the position measure- ment, while Aharanov et al. supposed that the interaction between the measured system and the measurement device is so weak. The momentum measurement in our measurement is the projective measurement, and is clearly separated from the position measurement. Thus we can easily see that the conditional probability distribution of the position, when the measured value of the momentum is p, is given by = «b (38) where Q(xjj) is the Husimi function. Holevo |6| already discussed a measurement to obtain the Husimi function by Naimark extension. However, our measurement is different form Holevo's measurement in the point that Holevo's measurement is simultaneous measurement in the extended Hilbert space by Naimark extension. Additionally, in our measurements of the position and the momentum, each measurements are clearly separated. On the other hand Holevo's measurements are not separated, because the measurement of the relative position and the center momentum across the extend Hilbert space are considered. Using our measurement, we can give comprehensible physical meaning to equation fl38l) . V. CONCLUSION We proposed a new interpretation of the Husimi function including post-selection study- ing the marginal distribution of the Husimi function and Aharanov's weak measurement. S We also showed that the probability distribution of our successive measurement of the po- sition and the momentum corresponds to the Husimi function. This measurement process is different from Holevo's measurement in the point that his measurement is a simultane- ous measurement across the extended Hilbert space, while our measurement is a separated successive measurement. The important point of our study is that our measurement can be realized by the reduction of the wave packet of the measured system without consid- ering the measurement device system. In the other words, our each measurements, the position and the momentum, are separated. By using this fact, we can easily calculate the marginal distribution or the conditional probability form the Husimi function like ( 1231) and (I38p . Although our measurement is the simple combination of the weak measurement of the position and the projective measurement of the momentum, the probability distribution automatically corresponds to the Husimi function by the reduction of the wave packet. We have also shown that our measurement process to obtain the Husimi function is the weak measurement of the position with post-selection of the momentum. ACKNOWLEDGEMENT The author thanks Dr.Shimada and Dr.Ogawa for helpful and discussion. [1] K. Husimi, Proc. Phys. Soc. Jpn., 22, 264, 1940. [2] E. P. Wigner, Phys. Rev., 40, 749, 1932. [3] R. J. Glauber, Phys. Rev., 131, 2766, 1963. [4] Y. Aharonov, D. Z. Albert, L. Vaidman Phys. Rev. Lett, 60, 1351, 1988. [5] U. Leonhardt, Measuring the Quantum State of Light, Cambridge University Press, 1997. [6] A. Holevo Probabilistic and Statistical Aspects of Quantum Theory, North Holland, 1982. [7] M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000 [8] R. P. Feynman, Statistical Mechanics A Set of Lectures, Westview Press, 1998 9